SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

Source URL: www.react.uni-saarland.de

• Multiplexing
• T-carrier
• Schedule

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–666) ON EXPLICIT ASPECT OF PLURICANONICAL MAPS OF PROJECTIVE VARIETIES Jungkai A. Chen (陳榮凱) and Meng Chen (陈猛)

Source URL: eta.impa.br

• Algebraic geometry
• Geometry
• Abstract algebra
• Birational geometry
• Kodaira dimension
• Minimal model program
• Fano variety
• Projective variety
• Canonical bundle
• Flip
• Surface of general type
• Canonical singularity

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

SF_Lebenslauf_Zuehlke.indd

Source URL: smartfactory.de

• Detlef Zhlke
• Computing
• Science and technology
• Engineering

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–222) ON GROTHENDIECK–SERRE CONJECTURE CONCERNING PRINCIPAL BUNDLES Ivan Panin

Source URL: eta.impa.br

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Linear algebraic group
• Scheme
• Reductive group
• Cohomology
• Principal homogeneous space
• Affine variety
• Group action
• Morphism of schemes

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

Source URL: eta.impa.br

• Geometry
• Algebra
• Abstract algebra
• Algebraic geometry
• Chenyang Xu
• Minimal model program
• Fano variety
• Canonical singularity
• Birational geometry
• Projective variety
• Resolution of singularities
• Canonical bundle

Kompaktflyer 05: Das Business Model Canvas 1/3

Source URL: gemeinsam-digital.de

The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

Source URL: www.lix.polytechnique.fr

• Parallel computing
• Computing
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Message Passing Interface
• Model checking
• Computer programming
• Computational science
• Simulation

Colloquium de l’IMJ-PRG Bertrand Rémy (Ecole Polytechnique, CMLS) Les immeubles, ou comment

Source URL: www.imj-prg.fr

Downloads-Jahrbuch-Einzelseiten-de.indd

Source URL: www.werbeweischer.ch